The Occlusion Calculus
نویسنده
چکیده
A lot of effort in Qualitative Reasoning had been spent in the RCC-8 calculus. This paper proposes a calculus named OCC (Occlusion Calculus) closely related to Galton’s LOS-14 calculus, that is more expressive in a vision context. The OCC relations qualitatively describe configurations from two convex objects in the projective view from a 3D scene. To set OCC on a mathematical ground an axiomatisation of the derived relation calculus is given. Since OCC only focuses on one qualitative aspect of space it is sketched, how and when different calculi can be combined to assemble a knowledge base for a cognitive vision system on a conceptual level.
منابع مشابه
An analytic study on the Euler-Lagrange equation arising in calculus of variations
The Euler-Lagrange equation plays an important role in the minimization problems of the calculus of variations. This paper employs the differential transformation method (DTM) for finding the solution of the Euler-Lagrange equation which arise from problems of calculus of variations. DTM provides an analytical solution in the form of an infinite power series with easily computable components. S...
متن کاملOn certain fractional calculus operators involving generalized Mittag-Leffler function
The object of this paper is to establish certain generalized fractional integration and differentiation involving generalized Mittag-Leffler function defined by Salim and Faraj [25]. The considered generalized fractional calculus operators contain the Appell's function $F_3$ [2, p.224] as kernel and are introduced by Saigo and Maeda [23]. The Marichev-Saigo-Maeda fractional calculus operators a...
متن کاملNON-POLYNOMIAL SPLINE FOR THE NUMERICAL SOLUTION OF PROBLEMS IN CALCULUS OF VARIATIONS
A Class of new methods based on a septic non-polynomial spline function for the numerical solution of problems in calculus of variations is presented. The local truncation errors and the methods of order 2th, 4th, 6th, 8th, 10th, and 12th, are obtained. The inverse of some band matrixes are obtained which are required in proving the convergence analysis of the presented method. Convergence anal...
متن کاملCertain subclass of $p$-valent meromorphic Bazilevi'{c} functions defined by fractional $q$-calculus operators
The aim of the present paper is to introduce and investigate a new subclass of Bazilevi'{c} functions in the punctured unit disk $mathcal{U}^*$ which have been described through using of the well-known fractional $q$-calculus operators, Hadamard product and a linear operator. In addition, we obtain some sufficient conditions for the func...
متن کاملNon-Newtonian Fuzzy numbers and related applications
Although there are many excellent ways presenting the principle of the classical calculus, the novel presentations probably leads most naturally to the development of the non-Newtonian calculus. The important point to note is that the non-Newtonian calculus is a self-contained system independent of any other system of calculus. Since this self-contained work is intended for a wide audience, inc...
متن کامل